%!PS-Adobe-3.0 EPSF-3.0
%%Creator: graphviz version 2.40.1 (20161225.0304)
%%Title: example.y
%%Pages: 1
%%BoundingBox: 0 0 751 420
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval
EncodingVector 45 /hyphen put

% Set up ISO Latin 1 character encoding
/starnetISO {
        dup dup findfont dup length dict begin
        { 1 index /FID ne { def }{ pop pop } ifelse
        } forall
        /Encoding EncodingVector def
        currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def

%%BeginResource: procset graphviz 0 0
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def

/InvScaleFactor 1.0 def
/set_scale {
       dup 1 exch div /InvScaleFactor exch def
       scale
} bind def

% styles
/solid { [] 0 setdash } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def
/tapered { } bind def

% hooks for setting color 
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def

/beginpage {	% i j npages
	/npages exch def
	/j exch def
	/i exch def
	/str 10 string def
	npages 1 gt {
		gsave
			coordfont setfont
			0 0 moveto
			(\() show i str cvs show (,) show j str cvs show (\)) show
		grestore
	} if
} bind def

/set_font {
	findfont exch
	scalefont setfont
} def

% draw text fitted to its expected width
/alignedtext {			% width text
	/text exch def
	/width exch def
	gsave
		width 0 gt {
			[] 0 setdash
			text stringwidth pop width exch sub text length div 0 text ashow
		} if
	grestore
} def

/boxprim {				% xcorner ycorner xsize ysize
		4 2 roll
		moveto
		2 copy
		exch 0 rlineto
		0 exch rlineto
		pop neg 0 rlineto
		closepath
} bind def

/ellipse_path {
	/ry exch def
	/rx exch def
	/y exch def
	/x exch def
	matrix currentmatrix
	newpath
	x y translate
	rx ry scale
	0 0 1 0 360 arc
	setmatrix
} bind def

/endpage { showpage } bind def
/showpage { } def

/layercolorseq
	[	% layer color sequence - darkest to lightest
		[0 0 0]
		[.2 .8 .8]
		[.4 .8 .8]
		[.6 .8 .8]
		[.8 .8 .8]
	]
def

/layerlen layercolorseq length def

/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer 1 sub layerlen mod get
	aload pop sethsbcolor
	/nodecolor {nopcolor} def
	/edgecolor {nopcolor} def
	/graphcolor {nopcolor} def
} bind def

/onlayer { curlayer ne {invis} if } def

/onlayers {
	/myupper exch def
	/mylower exch def
	curlayer mylower lt
	curlayer myupper gt
	or
	{invis} if
} def

/curlayer 0 def

%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def

% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
    userdict (<<) cvn ([) cvn load put
    userdict (>>) cvn ([) cvn load put
} if

%%EndSetup
setupLatin1
%%Page: 1 1
%%PageBoundingBox: 0 0 751 420
%%PageOrientation: Portrait
0 0 1 beginpage
gsave
0 0 751 420 boxprim clip newpath
1 1 set_scale 0 rotate 4 4 translate
% 0
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 465 412 moveto
255 412 lineto
255 298 lineto
465 298 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
330.5 396.8 moveto 59 (State 0) alignedtext
0 0 0 nodecolor
14 /courier set_font
263 365.8 moveto 194 (  0 $accept: • exp $end) alignedtext
0 0 0 nodecolor
14 /courier set_font
263 350.8 moveto 135 (  1 exp: • a ";") alignedtext
0 0 0 nodecolor
14 /courier set_font
263 335.8 moveto 135 (  2    | • b ".") alignedtext
0 0 0 nodecolor
14 /courier set_font
263 320.8 moveto 101 (  3 a: • "0") alignedtext
0 0 0 nodecolor
14 /courier set_font
263 305.8 moveto 101 (  4 b: • "0") alignedtext
grestore
% 1
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 176 247 moveto
0 247 lineto
0 178 lineto
176 178 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
58.5 231.8 moveto 59 (State 1) alignedtext
0 0 0 nodecolor
14 /courier set_font
8 200.8 moveto 160 (  3 a: "0" •  [";"]) alignedtext
0 0 0 nodecolor
14 /courier set_font
8 185.8 moveto 160 (  4 b: "0" •  ["."]) alignedtext
grestore
% 0->1
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 254.8377 299.9058 moveto
224.2166 283.8635 191.3938 266.6677 163.0319 251.809 curveto
stroke
0 0 0 edgecolor
newpath 164.471 248.6117 moveto
153.9887 247.0713 lineto
161.2224 254.8123 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 164.471 248.6117 moveto
153.9887 247.0713 lineto
161.2224 254.8123 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
216 268.8 moveto 26 ("0") alignedtext
grestore
% 2
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 404 239.5 moveto
194 239.5 lineto
194 185.5 lineto
404 185.5 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
269.5 224.3 moveto 59 (State 2) alignedtext
0 0 0 nodecolor
14 /courier set_font
202 193.3 moveto 194 (  0 $accept: exp • $end) alignedtext
grestore
% 0->2
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 335.5404 297.8609 moveto
328.4711 281.3463 320.9507 263.7782 314.5817 248.8999 curveto
stroke
0 0 0 edgecolor
newpath 317.732 247.3651 moveto
310.579 239.5493 lineto
311.2968 250.1198 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 317.732 247.3651 moveto
310.579 239.5493 lineto
311.2968 250.1198 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
328 268.8 moveto 26 (exp) alignedtext
grestore
% 3
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 573.5 239.5 moveto
422.5 239.5 lineto
422.5 185.5 lineto
573.5 185.5 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
468.5 224.3 moveto 59 (State 3) alignedtext
0 0 0 nodecolor
14 /courier set_font
430.5 193.3 moveto 135 (  1 exp: a • ";") alignedtext
grestore
% 0->3
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 415.3347 297.8609 moveto
432.0893 280.5599 449.9638 262.1026 464.7898 246.7932 curveto
stroke
0 0 0 edgecolor
newpath 467.3623 249.1678 moveto
471.8048 239.5493 lineto
462.3338 244.2981 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 467.3623 249.1678 moveto
471.8048 239.5493 lineto
462.3338 244.2981 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
446 268.8 moveto 9 (a) alignedtext
grestore
% 4
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 742.5 239.5 moveto
591.5 239.5 lineto
591.5 185.5 lineto
742.5 185.5 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
637.5 224.3 moveto 59 (State 4) alignedtext
0 0 0 nodecolor
14 /courier set_font
599.5 193.3 moveto 135 (  2 exp: b • ".") alignedtext
grestore
% 0->4
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 465.2225 306.1589 moveto
509.5736 285.5725 559.9111 262.2074 599.2142 243.9641 curveto
stroke
0 0 0 edgecolor
newpath 600.8484 247.0643 moveto
608.4453 239.6793 lineto
597.9012 240.7149 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 600.8484 247.0643 moveto
608.4453 239.6793 lineto
597.9012 240.7149 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
551 268.8 moveto 9 (b) alignedtext
grestore
% 1R3
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 38 118 moveto
7.8347 100 lineto
38 82 lineto
68.1653 100 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 38 118 moveto
7.8347 100 lineto
38 82 lineto
68.1653 100 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
29.5 96.3 moveto 17 (R3) alignedtext
grestore
% 1->1R3
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 72.5904 177.8283 moveto
64.8229 160.3515 55.5996 139.599 48.6312 123.9201 curveto
stroke
0 0 0 edgecolor
newpath 51.6753 122.1516 moveto
44.4155 114.435 lineto
45.2786 124.9946 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 51.6753 122.1516 moveto
44.4155 114.435 lineto
45.2786 124.9946 lineto
closepath stroke
grestore
% 1R4
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 117 118 moveto
86.8347 100 lineto
117 82 lineto
147.1653 100 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 117 118 moveto
86.8347 100 lineto
117 82 lineto
147.1653 100 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
108.5 96.3 moveto 17 (R4) alignedtext
grestore
% 1->1R4
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 96.9376 177.8283 moveto
101.2916 160.9376 106.4344 140.9872 110.423 125.5143 curveto
stroke
0 0 0 edgecolor
newpath 113.869 126.1674 moveto
112.976 115.6103 lineto
107.0906 124.4201 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 113.869 126.1674 moveto
112.976 115.6103 lineto
107.0906 124.4201 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
106 148.8 moveto 43 (["."]) alignedtext
grestore
% 5
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 404 127 moveto
194 127 lineto
194 73 lineto
404 73 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
269.5 111.8 moveto 59 (State 5) alignedtext
0 0 0 nodecolor
14 /courier set_font
202 80.8 moveto 194 (  0 $accept: exp $end •) alignedtext
grestore
% 2->5
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 299 185.2669 moveto
299 171.0012 299 153.3067 299 137.7405 curveto
stroke
0 0 0 edgecolor
newpath 302.5001 137.3722 moveto
299 127.3722 lineto
295.5001 137.3723 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 302.5001 137.3722 moveto
299 127.3722 lineto
295.5001 137.3723 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
299 148.8 moveto 34 ($end) alignedtext
grestore
% 6
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 573.5 127 moveto
422.5 127 lineto
422.5 73 lineto
573.5 73 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
468.5 111.8 moveto 59 (State 6) alignedtext
0 0 0 nodecolor
14 /courier set_font
430.5 80.8 moveto 135 (  1 exp: a ";" •) alignedtext
grestore
% 3->6
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 498 185.2669 moveto
498 171.0012 498 153.3067 498 137.7405 curveto
stroke
0 0 0 edgecolor
newpath 501.5001 137.3722 moveto
498 127.3722 lineto
494.5001 137.3723 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 501.5001 137.3722 moveto
498 127.3722 lineto
494.5001 137.3723 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
498 148.8 moveto 26 (";") alignedtext
grestore
% 7
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 742.5 127 moveto
591.5 127 lineto
591.5 73 lineto
742.5 73 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
637.5 111.8 moveto 59 (State 7) alignedtext
0 0 0 nodecolor
14 /courier set_font
599.5 80.8 moveto 135 (  2 exp: b "." •) alignedtext
grestore
% 4->7
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 667 185.2669 moveto
667 171.0012 667 153.3067 667 137.7405 curveto
stroke
0 0 0 edgecolor
newpath 670.5001 137.3722 moveto
667 127.3722 lineto
663.5001 137.3723 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 670.5001 137.3722 moveto
667 127.3722 lineto
663.5001 137.3723 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
667 148.8 moveto 26 (".") alignedtext
grestore
% 5R0
gsave
0.55686 0.26667 0.8902 nodecolor
newpath 299 36 moveto
260.2905 18 lineto
299 0 lineto
337.7095 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 299 36 moveto
260.2905 18 lineto
299 0 lineto
337.7095 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
286 14.3 moveto 26 (Acc) alignedtext
grestore
% 5->5R0
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 299 72.6952 moveto
299 64.3091 299 55.0593 299 46.5897 curveto
stroke
0 0 0 edgecolor
newpath 302.5001 46.4024 moveto
299 36.4024 lineto
295.5001 46.4024 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 302.5001 46.4024 moveto
299 36.4024 lineto
295.5001 46.4024 lineto
closepath stroke
grestore
% 6R1
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 498 36 moveto
467.8347 18 lineto
498 0 lineto
528.1653 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 498 36 moveto
467.8347 18 lineto
498 0 lineto
528.1653 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
489.5 14.3 moveto 17 (R1) alignedtext
grestore
% 6->6R1
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 498 72.6952 moveto
498 64.3091 498 55.0593 498 46.5897 curveto
stroke
0 0 0 edgecolor
newpath 501.5001 46.4024 moveto
498 36.4024 lineto
494.5001 46.4024 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 501.5001 46.4024 moveto
498 36.4024 lineto
494.5001 46.4024 lineto
closepath stroke
grestore
% 7R2
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 667 36 moveto
636.8347 18 lineto
667 0 lineto
697.1653 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 667 36 moveto
636.8347 18 lineto
667 0 lineto
697.1653 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
658.5 14.3 moveto 17 (R2) alignedtext
grestore
% 7->7R2
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 667 72.6952 moveto
667 64.3091 667 55.0593 667 46.5897 curveto
stroke
0 0 0 edgecolor
newpath 670.5001 46.4024 moveto
667 36.4024 lineto
663.5001 46.4024 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 670.5001 46.4024 moveto
667 36.4024 lineto
663.5001 46.4024 lineto
closepath stroke
grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
end
restore
%%EOF
